$\vdash$  $\neg$(ff = tt)